* doc/misc/Makefile.in (mostlyclean): Add still more TeX intermediates.
authorGlenn Morris <rgm@gnu.org>
Sat, 12 May 2012 18:04:06 +0000 (11:04 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 12 May 2012 18:04:06 +0000 (11:04 -0700)
commit13c3938ffc2dfe4cb8e901532c314f35d8d32b4b
treef8ccd515398c715fb489ad6e996cf386f5e72c15
parent958bc84d9da02057edeb8e415ed58a1331f9f0bf
* doc/misc/Makefile.in (mostlyclean): Add still more TeX intermediates.
doc/misc/Makefile.in